#include <firmware/chibios/os/hal/platforms/STM32F4xx/stm32f4xx.h>
IC4F[3:0] bits (Input Capture 4 Filter)